Mike Barnett : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (72)
Les plus populaires
Liste
- Liste
- Tableau

1

Work distribution of multiple Cartesian robot arms for kiwifruit harvesting

Barnett, Josh, Duke, Mike, Au, Chi Kit, Lim, Shen Him

Journal:

Computers and Electronics in Agriculture

Année:

2020

Langue:

english

Fichier:

PDF, 8.80 MB

english, 2020

2

Robotic kiwifruit harvesting using machine vision, convolutional neural networks, and robotic arms

Williams, Henry A.M., Jones, Mark H., Nejati, Mahla, Seabright, Matthew J., Bell, Jamie, Penhall, Nicky D., Barnett, Josh J., Duke, Mike D., Scarfe, Alistair J., Ahn, Ho Seok, Lim, JongYoon, MacDonald

Journal:

Biosystems Engineering

Année:

2019

Langue:

english

Fichier:

PDF, 4.63 MB

english, 2019

3

The association between screen time and mental health during COVID-19: a cross sectional study

Smith, Lee, Jacob, Louis, Trott, Mike, Yakkundi, Anita, Butler, Laurie, Barnett, Yvonne, Armstrong, Nicola C, McDermott, Daragh, Schuch, Felipe, Meyer, Jacob, LÃ³pez-Bueno, RubÃ©n, SÃ¡nchez, Guillermo

Journal:

Psychiatry Research

Année:

2020

Fichier:

PDF, 573 KB

2020

4

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 3308 || Multi-prover Verification of C Programs

Davies, Jim, Schulte, Wolfram, Barnett, Mike

Année:

2004

Langue:

english

Fichier:

PDF, 230 KB

english, 2004

5

Learning Physics with Digital Game Simulations in Middle School Science

Janice L. Anderson, Mike Barnett

Journal:

Journal of Science Education and Technology

Année:

2013

Langue:

english

Fichier:

PDF, 486 KB

english, 2013

6

[IEEE 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) - Florence, Italy (2015.5.16-2015.5.24)] 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering - Helping Developers Help Themselves: Automatic Decomposition of Code Review Changesets

Barnett, Mike, Bird, Christian, Brunet, Joao, Lahiri, Shuvendu K.

Année:

2015

Langue:

english

Fichier:

PDF, 956 KB

english, 2015

7

Innovations and Challenges in Project-Based STEM Education: Lessons from ITEST

Connors-Kellgren, Alice, Parker, Caroline E., Blustein, David L., Barnett, Mike

Journal:

Journal of Science Education and Technology

Année:

2016

Langue:

english

Fichier:

PDF, 313 KB

english, 2016

8

Workspace analysis of Cartesian robot system for kiwifruit harvesting

Au, ChiKit, Barnett, Joshua, Lim, Shen Hin, Duke, Mike

Journal:

Industrial Robot: the international journal of robotics research and application

Année:

2020

Fichier:

PDF, 2.03 MB

2020

9

[IEEE 2011 IEEE International Vacuum Electronics Conference (IVEC) - Bangalore, Karnataka, India (2011.02.21-2011.02.24)] 2011 IEEE International Vacuum Electronics Conference (IVEC) - Scandate dispenser cathode for 220 GHz 50 W sheet beam travelling wave tube amplifier

Zhao, Jinfeng, Li, Na, Li, Ji, Barnett, Larry, Banducci, Mike, Gamzina, Diana, Luhmann, N. C.

Année:

2011

Langue:

english

Fichier:

PDF, 239 KB

english, 2011

10

Application of QbD Principles for the Evaluation of Empty Hard Capsules as an Input Parameter in Formulation Development and Manufacturing

Stegemann, Sven, Connolly, Paul, Matthews, Wayne, Barnett, Rodger, Aylott, Mike, Schrooten, Karin, Cadé, Dominique, Taylor, Anthony, Bresciani, Massimo

Journal:

AAPS PharmSciTech

Année:

2014

Langue:

english

Fichier:

PDF, 688 KB

english, 2014

11

Therapeutic approaches to disease modifying therapy for multiple sclerosis in adults: An Australian and New Zealand perspective Part 3 Treatment practicalities and recommendations

Broadley, Simon A., Barnett, Michael H., Boggild, Mike, Brew, Bruce J., Butzkueven, Helmut, Heard, Robert, Hodgkinson, Suzanne, Kermode, Allan G., Lechner-Scott, Jeannette, Macdonell, Richard A.L., Ma

Journal:

Journal of Clinical Neuroscience

Année:

2014

Langue:

english

Fichier:

PDF, 519 KB

english, 2014

12

An internet-delivered handwashing intervention to modify influenza-like illness and respiratory infection transmission (PRIMIT): a primary care randomised trial

Little, Paul, Stuart, Beth, Hobbs, F D R, Moore, Mike, Barnett, Jane, Popoola, Deborah, Middleton, Karen, Kelly, Joanne, Mullee, Mark, Raftery, James, Yao, Guiqing, Carman, William, Fleming, Douglas,

Journal:

Année:

2015

Langue:

english

Fichier:

PDF, 231 KB

english, 2015

13

Review: Society and Settlement: The Jewish Land of Israel in the Twentieth Century, Geographical Imaginations, Constructions of Race, Place and Nation, the Imperial Archive: Knowledge and the Fantasy of Empire, Museum Culture: Histories, Discourses, Spectacles

Falah, Ghazi, Morris, Meaghan, Kirby, Andrew, Barnett, Clive, Crang, Mike

Journal:

Environment and Planning D

Année:

1995

Langue:

english

Fichier:

PDF, 1.95 MB

english, 1995

14

The Role of Sensation Seeking and R-rated Movie Watching in Early Substance Use Initiation

Janssen, Tim, Cox, Melissa J., Stoolmiller, Mike, Barnett, Nancy P., Jackson, Kristina M.

Journal:

Journal of Youth and Adolescence

Année:

2017

Langue:

english

Fichier:

PDF, 1.02 MB

english, 2017

15

Information flow around stock market collapse

Bossomaier, Terry, Barnett, Lionel, Steen, Adam, Harré, Mike, d'Alessandro, Steve, Duncan, Rod

Journal:

Accounting & Finance

Année:

2018

Langue:

english

Fichier:

PDF, 238 KB

english, 2018

16

Reduction of variation in T-cell subset enumeration among 55 laboratories using single-platform, three or four-color flow cytometry based on CD45 and SSC-based gating of lymphocytes

Jan W. Gratama, Jaco Kraan, Mike Keeney, Viv Granger, David Barnett

Journal:

Cytometry Part A

Année:

2002

Langue:

english

Fichier:

PDF, 161 KB

english, 2002

17

Broadcasting on Meshes with Wormhole Routing

Mike Barnett, David G. Payne, Robert A. van de Geijn, Jerrell Watts

Journal:

Journal of Parallel and Distributed Computing

Année:

1996

Langue:

english

Fichier:

PDF, 333 KB

english, 1996

18

Monitoring a commercial fermentation with proton nuclear magnetic resonance spectroscopy with the aid of chemometrics

Shona Clark, Neil William Barnett, Mike Adams, Iain Bruce Cook, Gail Anne Dyson, Geoff Johnston

Journal:

Analytica Chimica Acta

Année:

2006

Langue:

english

Fichier:

PDF, 416 KB

english, 2006

19

Intervention-based school psychology services: Training for child-level accountability; preparing for program-level accountability

Mike Bonner, David W Barnett

Journal:

Journal of School Psychology

Année:

2004

Langue:

english

Fichier:

PDF, 361 KB

english, 2004

20

Towards imperative modules: Reasoning about invariants and sharing of mutable state

David A. Naumann, Mike Barnett

Journal:

Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 494 KB

english, 2006

21

Runtime verification of .NET contracts

Mike Barnett, Wolfram Schulte

Journal:

Journal of Systems and Software

Année:

2003

Langue:

english

Fichier:

PDF, 221 KB

english, 2003

22

Golden Shiner Notemigonus crysoleucas× Rudd Scardinius erythrophthalmus Hybrids: Gonad Histology and Spawning Trials

Andrew E. Goodwin, John M. Grizzle, Douglas Tave, Mike D. Gibson, Jimmy Barnett, Don H. Fiegel, Berry F. Beavers

Journal:

Journal of the World Aquaculture Society

Année:

1994

Langue:

english

Fichier:

PDF, 653 KB

english, 1994

23

A mirror image pair of bisphosphonate analogs further demonstrates the mode of binding of the bisphosphonates in farnesyl pyrophosphate synthase

Frank H. Ebetino, James E. Dunford, Mark W. Lundy, Michele Pozzi, Zhidao Xia, Roy Dobson, Mike Quijano, Roze Christian, Boris A. Kashemirov, Charles E. McKenna, Graham G. Russell, Bobby L. Barnett

Journal:

Année:

2008

Langue:

english

Fichier:

PDF, 72 KB

english, 2008

24

Determination of the relative bone mineral-binding affinities of bisphosphonates by using hydroxyapatite-column chromatography combined with mass spectrometric analysis

Xuchen Duan, Zhidao Xia, Hao Zhang, Mike Quijano, Roy Dobson, Bobby Barnett, James Triffitt, James Dunford, Frank Ebetino, R. Graham Russell

Journal:

Année:

2010

Langue:

english

Fichier:

PDF, 53 KB

english, 2010

25

[IEEE 2010 IEEE International Vacuum Electronics Conference (IVEC) - Monterey, CA, USA (2010.05.18-2010.05.20)] 2010 IEEE International Vacuum Electronics Conference (IVEC) - 17.5: High current density and long life nanocomposite scandate dispenser cathode fabrication

Zhao, Jinfeng, Li, Na, Li, Ji, Barnett, Larry, Banducci, Mike, Gamzina, Diana, Luhmann, N. C.

Année:

2010

Langue:

english

Fichier:

PDF, 594 KB

english, 2010

26

Identification of Molecular Markers That Discriminate Between Pancreatic Ductal Adenocarcinoma and Chronic Focal Pancreatitis Using Endoscopic Ultrasound Fine Needle Aspiration and Real-Time RT-PCR

David H. Robbins, Yian Chen, Kaidi Mikhitarian, Carlton Barnett, David Cole, William Gillanders, Mike Mitas, Brenda Hoffman

Journal:

Gastrointestinal Endoscopy

Année:

2005

Langue:

english

Fichier:

PDF, 50 KB

english, 2005

27

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 3308 || Formal Proof from UML Models

Davies, Jim, Schulte, Wolfram, Barnett, Mike

Année:

2004

Langue:

english

Fichier:

PDF, 346 KB

english, 2004

28

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 3308 || Learning to Verify Safety Properties

Davies, Jim, Schulte, Wolfram, Barnett, Mike

Année:

2004

Langue:

english

Fichier:

PDF, 229 KB

english, 2004

29

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 3308 ||

Davies, Jim, Schulte, Wolfram, Barnett, Mike

Année:

2004

Langue:

english

Fichier:

PDF, 266 KB

english, 2004

30

Fifth Graders’ Learning About Simple Machines Through Engineering Design-Based Instruction Using LEGO™ Materials

Ismail Marulcu, Mike Barnett

Journal:

Research in Science Education

Année:

2013

Langue:

english

Fichier:

PDF, 876 KB

english, 2013

31

Profiling of secondary metabolites in blue lupin inoculated with Phytophthora cinnamomi following phosphite treatment

Gunning, Tiffany K., Conlan, Xavier A., Parker, Rhiannon M., Dyson, Gail A., Adams, Mike J., Barnett, Neil W., Cahill, David M.

Journal:

Functional Plant Biology

Année:

2013

Langue:

english

Fichier:

PDF, 412 KB

english, 2013

32

John Ottaway's friends?reflections

Whitley, J. E., Zhe-ming, Ni, Hieftje, Gary M., Fuwa, K., Wells, David, Epstein, Mike, Rains, Ted, Barnett, Neil, Hall, Martin L., Bez�r, L�szl�, Ataman, O. Yavuz, Price, W. J., Sharp, Barry, Egan, Ju

Journal:

Journal of Analytical Atomic Spectrometry

Année:

1988

Langue:

english

Fichier:

PDF, 955 KB

english, 1988

33

Therapeutic approaches to disease modifying therapy for multiple sclerosis in adults: An Australian and New Zealand perspective Part 1 Historical and established therapies

Broadley, Simon A., Barnett, Michael H., Boggild, Mike, Brew, Bruce J., Butzkueven, Helmut, Heard, Robert, Hodgkinson, Suzanne, Kermode, Allan G., Lechner-Scott, Jeannette, Macdonell, Richard A.L., Ma

Journal:

Journal of Clinical Neuroscience

Année:

2014

Langue:

english

Fichier:

PDF, 1.34 MB

english, 2014

34

Therapeutic approaches to disease modifying therapy for multiple sclerosis in adults: An Australian and New Zealand perspective Part 2 New and emerging therapies and their efficacy

Broadley, Simon A., Barnett, Michael H., Boggild, Mike, Brew, Bruce J., Butzkueven, Helmut, Heard, Robert, Hodgkinson, Suzanne, Kermode, Allan G., Lechner-Scott, Jeannette, Macdonell, Richard A.L., Ma

Journal:

Journal of Clinical Neuroscience

Année:

2014

Langue:

english

Fichier:

PDF, 586 KB

english, 2014

35

[ACM Press the 2013 international conference - New York, New York, USA (2013.06.22-2013.06.27)] Proceedings of the 2013 international conference on Management of data - SIGMOD '13 - Stat!

Barnett, Mike, Chandramouli, Badrish, DeLine, Robert, Drucker, Steven, Fisher, Danyel, Goldstein, Jonathan, Morrison, Patrick, Platt, John

Année:

2013

Langue:

english

Fichier:

PDF, 1.09 MB

english, 2013

36

Sleep, Sleepiness, and Neurobehavioral Performance While on Watch in a Simulated 4 Hours on/8 Hours off Maritime Watch System

van Leeuwen, Wessel M. A., Kircher, Albert, Dahlgren, Anna, Lützhöft, Margareta, Barnett, Mike, Kecklund, Göran, Åkerstedt, Torbjörn

Journal:

Chronobiology International

Année:

2013

Langue:

english

Fichier:

PDF, 677 KB

english, 2013

37

Book reviews

Bigsten, Arne, Corbridge, Stuart, Lindblad, J. Thomas, McDonald, Scott, Addison, Tony, Payne, Anthony, Mearns, Robin, Thoburn, John, Tisdell, Clem, Barnett, Tony, Shepperdson, Mike

Journal:

Journal of Development Studies

Année:

1997

Langue:

english

Fichier:

PDF, 1.27 MB

english, 1997

38

[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - Exploiting the synergy between automated-test-generation and programming-by-contract

Barnett, Mike, Fahndrich, Manuel, de Halleux, Peli, Logozzo, Francesco, Tillmann, Nikolai

Année:

2009

Langue:

english

Fichier:

PDF, 121 KB

english, 2009

39

Security systems and renewal processes

Barnett, Vic, Kenward, Mike G.

Journal:

Communication in Statistics- Theory and Methods

Année:

1996

Langue:

english

Fichier:

PDF, 701 KB

english, 1996

40

Book reviews

Faber, Mike, Jeffery, Patricia, Waseem, Mohammad, Rogers, Paul, Qadeer, Mohammad A, Kilgore, Arthur, Goodwin, Geoffrey, Taylor, Trevor, Aziz, Sartaj, Rogers, Christopher D, Barkin, David, Barnett, Ton

Journal:

Third World Quarterly

Année:

1981

Langue:

english

Fichier:

PDF, 2.20 MB

english, 1981

41

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 3308 || A Specification-Based Approach to Testing Polymorphic Attributes

Davies, Jim, Schulte, Wolfram, Barnett, Mike

Année:

2004

Langue:

english

Fichier:

PDF, 164 KB

english, 2004

42

Specification and verification

Barnett, Mike, Fähndrich, Manuel, Leino, K. Rustan M., Müller, Peter, Schulte, Wolfram, Venter, Herman

Journal:

Communications of the ACM

Année:

2011

Langue:

english

Fichier:

PDF, 536 KB

english, 2011

43

[ACM Press The 6th ACM SIGPLAN-SIGSOFT workshop - Lisbon, Portugal (2005.09.05-2005.09.06)] The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '05 - Weakest-precondition of unstructured programs

Barnett, Mike, Leino, K. Rustan M.

Année:

2005

Langue:

english

Fichier:

PDF, 119 KB

english, 2005

44

[ACM Press The 6th Joint Meeting - Dubrovnik, Croatia (2007.09.03-2007.09.07)] The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering companion papers - ESEC-FSE companion '07 - Specification and verification of component-based systems 2007

Aldrich, Jonathan, Leavens, Gary T., Barnett, Mike, Sharygina, Natasha, Giannakopoulou, Dimitra

Année:

2007

Langue:

english

Fichier:

PDF, 436 KB

english, 2007

45

[ACM Press the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium - Dubrovnik, Croatia (2007.09.03-2007.09.07)] Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ESEC-FSE '07 - Specification and verification of component-based systems 2007

Aldrich, Jonathan, Barnett, Mike, Giannakopoulou, Dimitra, Leavens, Gary T., Sharygina, Natasha

Année:

2007

Langue:

english

Fichier:

PDF, 439 KB

english, 2007

46

The Transformation of Sovereignty || The Fragmentation of Yugoslavia

Gidon Gottlieb, Paul C. Szasz and Mike N. Barnett

Journal:

Proceedings of the Annual Meeting (American Society of International Law)

Année:

1994

Langue:

english

Fichier:

PDF, 1.18 MB

english, 1994

47

LETTERS

Steve James, Steve Hoyt, Steve Barr and Mike Barnett

Journal:

Année:

1995

Langue:

english

Fichier:

PDF, 480 KB

english, 1995

48

Health-Related Quality of Life in a Randomized Trial of Antiretroviral Therapy for Advanced HIV Disease

Joyce, Vilija R, Barnett, Paul G, Bayoumi, Ahmed M, Griffin, Susan C, Kyriakides, Tassos C, Yu, Wei, Sundaram, Vandana, Holodniy, Mark, Brown, Sheldon T, Cameron, William, Youle, Mike, Sculpher, Mark,

Journal:

JAIDS Journal of Acquired Immune Deficiency Syndromes

Année:

2009

Langue:

english

Fichier:

PDF, 309 KB

english, 2009

49

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 3308 || Memory-Model-Sensitive Data Race Analysis

Davies, Jim, Schulte, Wolfram, Barnett, Mike

Année:

2004

Langue:

english

Fichier:

PDF, 202 KB

english, 2004

50

Trill

Chandramouli, Badrish, Goldstein, Jonathan, Barnett, Mike, DeLine, Robert, Fisher, Danyel, Platt, John C., Terwilliger, James F., Wernsing, John

Journal:

Proceedings of the VLDB Endowment

Année:

2014

Langue:

english

Fichier:

PDF, 1.37 MB

english, 2014